University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Lists functional programs written primarily to perform to real-world tasks. Has pure programs (no side effects) and impure (some use of side effects). Languages: Caml, Clean, Erlang, Haskell, Miranda, Scheme, Standard ML.
Concise introduction and demonstration of the Hough Transform, used for finding lines and edges in images, along with pointers to more advanced techniques for partial and curved lines.